Leonova M. A., Devyanin P. N. «The techniques of formalization of OS Astra Linux Special Edition access control model using Event-B formal method for verification using Rodin and ProB» // Applied Discrete Mathematics 2021. №52 C.83-96
Leonova Maria A., Devyanin Petr N. «Comparison of methods for modeling access control in os and dbms in Event-B for the purpose of their verification with Rodin and ProB tools» // Applied Discrete Mathematics. Supplement 2022. №15 C.90-99
Chushkin M. S. «Sketch completion for predicate programs by counterexamples guided synthesis» // Applied Discrete Mathematics. Supplement 2017. №10 C.151-153
